A New Method of Verification of Functional Programs

A model for specification, composition and verification of access control policies and its application to web services

Despite significant advances in the access control domain, requirements of new computational environments like web services still raise new challenges. Lack of appropriate method for specification of access control policies (ACPs), composition, verification and analysis of them have all made the access control in the composition of web services a complicated problem. In this paper, a new indepe...

Verification of Tree-Processing Programs via Higher-Order Model Checking

We propose a new method to verify that a higher-order, treeprocessing functional program conforms to an input/output specification. Our method reduces the verification problem to multiple verification problems for higher-order multi-tree transducers, which are then transformed into higher-order recursion schemes and model-checked. Unlike previous methods, our new method can deal with arbitrary ...

Runtime verification of programs using rule-based active system

Rigorous Development of Functional Programs using Temporal Logic

In this paper, we propose a new method, based on the use of temporal logic, for developing and reasoning about functional programs. Our software development method is rigorous and systematic: starting with a list of informal requirement descriptions, we initially derive a set of object-based specifications, which are later on transformed into modular monadic functional programs. The obtained sp...

Assessment of Green Supplier Development Programs by a New Group Decision-Making Model Considering Possibilistic Statistical Uncertainty

The assessment and selection of green supplier development programs are an intriguing and functional research subject. This paper proposes a group decision-making approach considering possibilistic statistical concepts under uncertainty to assess green supplier development programs (GSDPs) via interval-valued fuzzy sets (IVFSs). Possibility theory is employed to regard uncertainty by IVFSs. A n...

A Method of Verification of Functional Programs Based on Graph Models

In the paper we introduce a concept of a graph model of a functional program. We show how to use this model for verification of functional programs.